The set of attributes to modify and their respective values.  \code{attrs} is a
map from the attributes' names to their values.
